任务安全性相关论文
针对航电系统任务安全性分析缺少仿真与验证手段问题,提出了一种面向航电系统任务安全性的形式化建模与验证方法。首先,基于时间自动......
为充分发挥防暴弹药的战术性能,提升应变能力,需要加强其非致命性能的研究,尤其需要研究任务中的安全性,确保在使用过程中弹药打击......